(wait_reading_process_input): Call swallow_events.
authorRichard M. Stallman <rms@gnu.org>
Tue, 25 May 1993 23:19:07 +0000 (23:19 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 25 May 1993 23:19:07 +0000 (23:19 +0000)
src/process.c

index 9e2bdad45e394cb2d2c20c9bdd0aa963ea850259..f2c01258774eb5b21568490a786501d9b1373d0a 100644 (file)
@@ -1875,7 +1875,11 @@ wait_reading_process_input (time_limit, microsecs, read_kbd, do_display)
         to give it higher priority than subprocesses */
 
       if (XINT (read_kbd) && detect_input_pending ())
-       break;
+       {
+         swallow_events ();
+         if (detect_input_pending ())
+           break;
+       }
 
       /* Exit now if the cell we're waiting for became non-nil.  */
       if (wait_for_cell && ! NILP (*wait_for_cell))